2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
The SPIN Model Checker: Primer and Reference Manual
Автор:
Gerard J. Holzmann
Размер книги: 1.33 Mb
Design And Validation Of Computer Protocols
Автор:
Gerard J. Holzmann
Размер книги: 2.07 Mb
Design and Validation of Computer Protocols (Prentice Hall Software Series)
Автор:
Gerard Holzmann
Категория:
Компьютеры
Размер книги: 1.25 Mb
NASA Formal Methods - NFM 2011
Автор:
Mihaela Bobaru
, Автор:
Klaus Havelund
, Автор:
Gerard Holzmann
, Автор:
Rajeev Joshi
Размер книги: 6.81 Mb
Spin Model Checker
Автор:
Gerard J. Holzmann
Размер книги: 3.91 Mb
